#include <stdio.h>

int main() {
    int a = 1000;
    printf("a = %06d\n", a);
    printf("a = %6d\n", a);
    return 0;
}